721. Logical Methods
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات
Classification :
E-Book
,
722. Logical Methods
Author: edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
723. Logical Structures for Representation of Knowledge and Uncertainty
Author: by Ellen Hisdal.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Operations research.
724. Logical Thinking in the Pyramidal Schema of Concepts
Author: / Lutz Geldsetzer, Richard L. Schwartz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
Classification :
QA9
.
G325
2013
725. Logical and mathematical methods for IBM microcomputers
Author: Julio Sanchez
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: IBM microcomputers,Logic , symbolic and mathematical,Computer arithmetic
Classification :
QA
,
76
.
8
,.
I1015S265
,
1991
726. Logical design of digital systems
Author: / Arthur D. Friedman
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Switching theory,Logic circuits,Computer- Circuits,Circuits,Integrated circuits
Classification :
TK7868
.
F7
1975
727. Logical foundations for cognitive agents :
Author: Hector J. Levesque, Fiora Pirri (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer logic.,Intelligent agents (Computer software)
Classification :
QA76
.
9
.
L63
H438
1999
728. Logical foundations of computer science :
Author: Sergei Artemov, Anil Nerode (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Computer science, Congresses
729. Logical foundations of computer science
Author: / Sergei N. Artemov, Anil Nerode (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Congresses,Logic, Symbolic and mathematical--Congresses,Programa?c?ao laogica (congressos)--larpcal,Ci?encia da computa?c?ao (congressos)--larpcal
Classification :
QA
,
75
.
5
,.
L44
,
2007
730. Logical foundations of computer science
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Programa??o l?gica (congressos) ; larpcal. ; Ci??ncia da computa??o (congressos) ; larpcal. ;
731. Logical foundations of computer science
Author: Peter A. Fejer & Dan A. Simovici.,Fejer, Peter A.,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer logic.
732. Logical foundations of computer science
Author: Sergei Artemov, Anil Nerode (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Computer science, Congresses
Classification :
QA75
.
5
.
L43
2013
733. Logical foundations of computer science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings
Author: LFCS 9002)9002 :Deerfield Beach, Fla.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Computer science Congresses,، Logic, Symbolic and mathematical Congresses
Classification :
QA
75
.
5
.
L64
2009
734. Logical foundations of computer science : 4th international symposium, LFCS '97 Yaroslava, Russia, July 6-12, 1997 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
75
.
5
.
L64
1997
735. Logical foundations of computer science : third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
Author: A. Nerode, Yu.V. Matiyasevich, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
813
736. Logical foundations of computer science : third international symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
Author: A. Nerode, Yuri V. Matiyasevich, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
Classification :
QA
75
.
5
.
L64
1994
737. Logical tools for handling change in agent-based systems
Author: Dov M. Gabbay, Karl Schlechta
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
Classification :
Q310
.
G33
2010eb
738. Logically determined desig
Author: / Karl M. Fant
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Asynchronous circuits--Design and construction,Logic, Symbolic and mathematical.,Logic design.,Computer architecture.
Classification :
TK
,
7868
,.
A79
,
F36
,
2005eb
739. Logically determined design :
Author: / Karl M. Fant
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Asynchronous circuits , Design and construction,Logic, Symbolic and mathematical,Logic design,Computer architecture
Classification :
E-BOOK
740. Logically determined design
Author: / Karl M. Fant
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Asynchronous circuits- Design and construction,Logic, Symbolic and mathematical,Logic design,Computer architecture
Classification :
TK7868
.
A79F36
2005
